Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Tesis |
Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados: | Badenes, Hernán |
(2003) |
Sala
|
---------- |
Tesis |
Obteniendo eficiencia y legibilidad en programas generados automáticamente: | Canal, Esteban de la |
(2003) |
Sala
|
---------- |
Artículo |
Simplifying and solving qualified types for principal type specialisation : | Martínez López, Pablo Ernesto |
(2003) |
---------- | |
Tesis |
Type specialisation of polymorphic languages [recurso electrónico]: | Martínez López, Pablo Ernesto |
(2005) |
---------- |